<?php

function verwijzing ($verwijzer,$nieuw) {
		// Redirect naar een pagina
		$pagina = "http://".$_SERVER['SERVER_NAME'];
		if ($_SERVER['SERVER_PORT'] != 80) {
			$pagina .=":".$_SERVER['SERVER_PORT']; # als de poort niet standaard is!
		} 
		//preg replace juiste string klaar te zetten.
		$patroon = "/$verwijzer/";
		$vervanging = "$nieuw";
		$naam = $_SERVER['SCRIPT_NAME'];
		$nieuw = preg_replace($patroon,$vervanging,$naam);
		$pagina .= $nieuw;
		$pagina .= "?verwijzer=$verwijzer";
		header("Location: $pagina");
}


?>
